This is TeX, WAITS Version 1.1 (preloaded format=plain 84.3.31) 8 APR 1984 01:45 **SYNTAX.TEX (SYNTAX.TEX[MF,DEK] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] Output written on SYNTAX.DVI[MF,DEK] (19 pages, 81540 bytes).